Abstraction and Performance in the Design of Parallel Programs Der Fakultt at F Ur Mathematik Und Informatik Der Universitt at Passau Vorgelegte Zusammenfassung Der Verr Ooentlichungen Zur Erlangung Der Venia Legendi
نویسنده
چکیده
منابع مشابه
Programmieren und Beweisen: Experimente mit dem Programmverifizierer NPPV
Zusammenfassung Anhand von Fallbeispielen zeigen wir den Einsatz unseres Programmveri zierers NPPV f ur abstrakte Fragestellungen zwi schen Mathematik und Informatik Aus einem gegebenen und mit Inva rianten annotierten Programmschema erzeugt das System automatisch logische Bedingungen f ur dessen Korrektheit Der Veri zierer wurde zum Einsatz im Informatikunterricht konzipiert Er nimmt dem Benut...
متن کاملDie Trierer Informatik-Bibliographie DBLP
Zusammenfassung Der leichte Zugang zu aktueller und qualitativ hochwertiger Fachinformation ist auch in der Informatik essentiell f ur Lehre Forschung und Ent wicklung Die wichtigsten Medien zur Verbreitung wissenschaftlicher Informationen sind in der Informatik Tagungen Tagungsb ande Zeitschriften und in zunehmendem Ma e das Internet Neben Preprint Servern spielen auf dem Internet themenzen tr...
متن کاملCharakterisierung der Farbeigenschaften melanozytärer Hautveränderungen zur Unterstützung der Früherkennung des malignen Melanoms
Max-Planck-Institut f ur extraterrestrische Physik, Garching Department of Electrical Engineering, University of Sydney Institut f ur medizinische Statistik und Epidemiologie, TU M unchen Klinik und Poliklinik f ur Dermatologie der Universit at Regensburg Fachbereich Informatik/Mathematik, Fachhochschule M unchen Lehrstuhl f ur Theoretische Informatik und Grundlagen der KI, TU M unchen ...
متن کاملHabilitationsschrift zur Erlangung der Venia legendi der Fakultät für angewandte Wissenschaften der Albert-Ludwigs-Universität Freiburg für das Fach Informatik Heuristic Search
This article surveys approaches to cope with limited memory for the design of algorithms and data structures in Artificial Intelligence, since many systems, e.g. in puzzle solving, two-player games, action and route planning, robotics, machine learning, data mining, logic programming and theorem proving, explore very large or even infinite implicitly given state spaces. The main focus is on str...
متن کاملAbstract state machines: verification problems and computational power
State Machines: Verification Problems and Computational Power Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades einer Doktorin der Naturwissenschaften genehmigte Dissertation
متن کامل